Struct isotope::ast::ast::Universe [−][src]
pub struct Universe(_);
Expand description
A typing universe
Implementations
Construct a universe from a level and whether it is a variable
Attempt to construct a constant universe from it’s level
Attempt to construct a universe variable from it’s level
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Universe
impl UnwindSafe for Universe
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.